Automatic Formal Verification of Conceptual Model Documentation by Means of Self-organizing Map

Authors: Algirdas Laukaitis, Olegas Vasilecas

Research in Computing Science, Vol. 41, pp. 143-156, 2009.

PDF: Automatic Formal Verification of Conceptual Model Documentation by Means of Self-organizing Map
PDF: Automatic Formal Verification of Conceptual Model Documentation by Means of Self-organizing Map